constructive type theory造句
例句與造句
- He developed constructive logic, constructive type theory and constructive analysis.
- In constructive type theory, or in Heyting arithmetic extended with finite types, there is typically no separation at all-subsets of a type are given different treatments.
- The next pivotal event was a mini-workshop at the Mathematical Research Institute of Oberwolfach in March 2011 organized by Steve Awodey, Richard Garner, Per Martin-L鰂, and Vladimir Voevodsky, titled " The homotopy interpretation of constructive type theory ".
- Awodey and Warren summarized their results in the paper " Homotopy theoretic models of identity types ", which was posted on the ArXiv preprint server in 2007 and published in 2009; a more detailed version appeared in Warren's thesis " Homotopy theoretic aspects of constructive type theory " in 2008.
- It's difficult to find constructive type theory in a sentence. 用constructive type theory造句挺難的